static program analysis
Code audit
Documentation generator
Formal semantics of programming languages
Formal verification
FX-87
ISO 26262
ISO 9126 (now ISO 25000 series)
Lint (software)
List of tools for static code analysis
Shape analysis (software)
Software quality
Software quality assurance
/suto3/google.iconstatic program analysis
image static program analysis
define static program analysis
wikipedia static program analysis
weblio static program analysis
kotobank static program analysis
jisho static program analysis